搜索包含 Symposium on Generalized Recursion Theory 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

	Logic and the Foundations of Game and Decision Theory-LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers 0 索取号：作者：Bonanno、 Giacomo.、L枚we、 Benedikt.、Hoek、 Wiebe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings 0 索取号：作者：Hlin臎n媒、 Petr.、Ku膷era、 Anton铆n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Full-Potential Electronic Structure Method [electronic resource] : Energy and Force Calculations with Density Functional and Dynamical Mean Field Theory 0 索取号：作者：Wills、 John M.、Eriksson、 Olle.、Andersson、 Per.、Delin、 Anna.、Grechnyev、 Oleksiy.、Alouani、 Mebarek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Biological Functions for Information and Communication Technologies [electronic resource] : Theory and Inspiration 0 索取号：作者：Sawai、 Hidefumi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Advances in Bioinformatics and Computational Biology [electronic resource] : 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010. Proceedings 0 索取号：作者：Ferreira、 Carlos E.、Miyano、 Satoru.、Stadler、 Peter F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Topological Methods in Data Analysis and Visualization [electronic resource] : Theory, Algorithms, and Applications 0 索取号：作者：Pascucci、 Valerio.、Tricoche、 Xavier.、Hagen、 Hans.、Tierny、 Julien.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 0 索取号：作者：Zseby、 Tanja.、Savola、 Reijo.、Pistore、 Marco.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Reliability Engineering [electronic resource] : Theory and Practice 0 索取号：作者：Birolini、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Evolutionary Theory and the Creation Controversy [electronic resource] 0 索取号：作者：Rieppel、 Olivier.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Distributed Computing and Artificial Intelligence [electronic resource] : 7th International Symposium 0 索取号：作者：Leon F. de Carvalho、 Andre Ponce.、Rodr铆guez-Gonz谩lez、 Sara.、Paz Santana、 Juan F.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Algorithm Engineering [electronic resource] : Bridging the Gap between Algorithm Theory and Practice 0 索取号：作者：M眉ller-Hannemann、 Matthias.、Schirra、 Stefan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers 0 索取号：作者：Hsu、 Ching-Hsien.、Malyshkin、 Victor.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Robotics Research [electronic resource] : The 13th International Symposium ISRR 0 索取号：作者：Kaneko、 Makoto.、Nakamura、 Yoshihiko.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Proceedings of the 37th International Symposium on Archaeometry, 13th - 16th May 2008, Siena, Italy [electronic resource] : Proceedings of the 37th International Symposium on Archaeometry, 13th - 16th May 2008, Siena, Italy 0 索取号：作者：Turbanti-Memmi、 Isabella.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
	Cosmogenic Radionuclides [electronic resource] : Theory and Applications in the Terrestrial and Space Environments 0 索取号：作者：Beer、 J眉rg.、McCracken、 Ken.、Steiger、 Rudolf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Mathematical Theory of Elasticity of Quasicrystals and Its Applications [electronic resource] 0 索取号：作者：Fan、 Tianyou.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

	Logic and the Foundations of Game and Decision Theory-LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers 0 索取号：作者：Bonanno、 Giacomo.、L枚we、 Benedikt.、Hoek、 Wiebe.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings 0 索取号：作者：Hlin臎n媒、 Petr.、Ku膷era、 Anton铆n.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Full-Potential Electronic Structure Method [electronic resource] : Energy and Force Calculations with Density Functional and Dynamical Mean Field Theory 0 索取号：作者：Wills、 John M.、Eriksson、 Olle.、Andersson、 Per.、Delin、 Anna.、Grechnyev、 Oleksiy.、Alouani、 Mebarek.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Biological Functions for Information and Communication Technologies [electronic resource] : Theory and Inspiration 0 索取号：作者：Sawai、 Hidefumi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Advances in Bioinformatics and Computational Biology [electronic resource] : 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010. Proceedings 0 索取号：作者：Ferreira、 Carlos E.、Miyano、 Satoru.、Stadler、 Peter F.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Topological Methods in Data Analysis and Visualization [electronic resource] : Theory, Algorithms, and Applications 0 索取号：作者：Pascucci、 Valerio.、Tricoche、 Xavier.、Hagen、 Hans.、Tierny、 Julien.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009 0 索取号：作者：Zseby、 Tanja.、Savola、 Reijo.、Pistore、 Marco.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Reliability Engineering [electronic resource] : Theory and Practice 0 索取号：作者：Birolini、 Alessandro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Evolutionary Theory and the Creation Controversy [electronic resource] 0 索取号：作者：Rieppel、 Olivier.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Distributed Computing and Artificial Intelligence [electronic resource] : 7th International Symposium 0 索取号：作者：Leon F. de Carvalho、 Andre Ponce.、Rodr铆guez-Gonz谩lez、 Sara.、Paz Santana、 Juan F.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Algorithm Engineering [electronic resource] : Bridging the Gap between Algorithm Theory and Practice 0 索取号：作者：M眉ller-Hannemann、 Matthias.、Schirra、 Stefan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers 0 索取号：作者：Hsu、 Ching-Hsien.、Malyshkin、 Victor.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
	Robotics Research [electronic resource] : The 13th International Symposium ISRR 0 索取号：作者：Kaneko、 Makoto.、Nakamura、 Yoshihiko.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.		Proceedings of the 37th International Symposium on Archaeometry, 13th - 16th May 2008, Siena, Italy [electronic resource] : Proceedings of the 37th International Symposium on Archaeometry, 13th - 16th May 2008, Siena, Italy 0 索取号：作者：Turbanti-Memmi、 Isabella.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
	Cosmogenic Radionuclides [electronic resource] : Theory and Applications in the Terrestrial and Space Environments 0 索取号：作者：Beer、 J眉rg.、McCracken、 Ken.、Steiger、 Rudolf.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Mathematical Theory of Elasticity of Quasicrystals and Its Applications [electronic resource] 0 索取号：作者：Fan、 Tianyou.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.